Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
311	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: www.mizar.org Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
312	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-02 06:25:32 Logic Mathematical logic Automated theorem proving Mathematics Mathematical proofs Proof assistants Logical truth Proof theory Isabelle First-order logic Automated reasoning Theorem
313	情報地質第27巻第2号頁 2016年 Geoinformatics, vol.27, no.2, pp, 2016 Pixel Based and Object Based Fuzzy LULC Classification using GRASS GIS and RapidEye Imagery of Lao Cai Area, Vietnam Thi Han Add to Reading List Source URL: www.jsgi-map.org Language: English - Date: 2016-05-23 07:07:14 Fuzzy logic Logic Mathematical logic Science and technology Fuzzy set Fuzzy classification Defuzzification Fuzzy rule Geographic information system Type-2 fuzzy sets and systems
314	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin? School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-03-23 07:22:00 Logic Mathematical logic Mathematics Model theory Predicate logic Finite model theory Automated theorem proving Boolean algebra First-order logic Resolution FO Interpretation
315	761 Documenta Math. A Bound for the Torsion in the K -Theory of Algebraic Integers Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-12-23 07:52:18 Mathematics Mathematical analysis Model theory Mathematical logic Structure Universal algebra Embedding Sigma-algebra Decomposition of spectrum
316	A computable axiomatisation of the topology of R and C Paul Taylor 6 August 2009 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-08-10 10:52:15 Mathematics Mathematical logic Computability theory Logic Theory of computation Computable number Structure Computable function Sigma-algebra
317	Worksheet on Truth Tables and Boolean Algebra September 24, Write a truth table for the logical statement ¬(P ∨ Q) =⇒ (¬P ∧ Q). Do it step by step (i.e. include columns for ¬P and P ∨ Q etc., building Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:57 Logic Mathematics Abstraction Boolean algebra Semantics Mathematical logic Propositional calculus Logical truth Tautology Truth table Boolean Negation
318	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion
319	Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a Add to Reading List Source URL: www.hieratic.eu Language: English Computational complexity theory Theory of computation Dynamic programming Markov decision process Stochastic control Analysis of algorithms Mathematical logic Reinforcement learning Time complexity Algorithm PP
320	nalytica an electronic, open-access journal for philosophy of science How to Learn Concepts, Consequences and Conditionals Add to Reading List Source URL: www.analytica.phs.uoa.gr Language: English - Date: 2016-07-11 06:07:38 Modal logic Logical connectives Conditionals Philosophical logic Philosophy of language Doxastic logic Material conditional Propositional calculus Strict conditional Proposition Mathematical proof Meaning

UPDATE